$\forall$$x$, $y$:Atom1. $x$ =a1 $y$ $\in$ $\mathbb{B}$